Discover gists

Discord Timestamps

Discord timestamps can be useful for specifying a date/time across multiple users time zones. They work with the Unix Timestamp format and can be posted by regular users as well as bots and applications.

The Epoch Unix Time Stamp Converter is a good way to quickly generate a timestamp. For the examples below I will be using the Time Stamp of 1543392060, which represents November 28th, 2018 at 09:01:00 hours for my local time zone (GMT+0100 Central European Standard Time).

Formatting

Style	Input	Output (12-hour clock)	Output (24-hour clock)
Default	`<t:1543392060>`	November 28, 2018 9:01 AM	28 November 2018 09:01

Problem

When I use docker to work with the shared workspace with host under Ubuntu, I find that files created by docker user is owned by root. This is not the same with macOS.

Maybe this is becuase docker is run by root user and the default user mapping mechanism is to map container-root to host-user or host-root. So can I map the container-root or container-any-user to host-current-user?

Fortunately the latest docker supports the re-map the container user to any host user via Linux namespace. Refer to this.

Linux namespace

Optlam.js - 3.4 million IPS

// ~~~~~~~~~~~~~~~~~~~~~~ Optlam.js ~~~~~~~~~~~~~~~~~~~~~~
// An optimal λ-calculus normalizer written in JavaScript.
// ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
// Optlam.js is a simple, optimal (in Levy's sense) λ-calculus evaluator using
// interaction nets. It is, currently, as far as I know, the fastest
// implementation of functions in the world. It uses Lamping's Abstract
// Algorithm - that is, the so called (and problematic) "oracle" is avoided

i3 Window Manager Cheat Sheet

$mod refers to the modifier key (alt by default)

General

startx i3 start i3 from command line
$mod+<Enter> open a terminal
$mod+d open dmenu (text based program launcher)
$mod+r resize mode ( or to leave resize mode)
$mod+shift+e exit i3

I'm trying to follow this guide to install NixOS using Btrfs, LUKS and LVM. The main usage of this page for me will be remembering what I did! My laptop is ASUS ROG GL553VD.

Just downloaded Plasma Desktop, 64bit and create a bootable Flash Drive. Then boot up to NixOS Live CD. Using gparted to create two partitions, One 200MB vfat EFI partittion and the rest of SSD drive will be an encrypted partition.

DISK=/dev/nvme0n1

Многопоточность в Java

Данный гист содержит основную информацию, которую нужно знать о Java Standart Edition.

	Originall From: Posted 2015-05-29 http://ubwg.net/b/full-list-of-ffmpeg-flags-and-options

	This is the complete list that’s outputted by ffmpeg when running ffmpeg -h full.

	usage: ffmpeg [options] [[infile options] -i infile]… {[outfile options] outfile}…

	Getting help:
	-h — print basic options
	-h long — print more options
	-h full — print all options (including all format and codec specific options, very long)

	/*
	Mermaid + DuckDB for generating customer hierarchy diagrams

	DuckDB version: 0.10.2

	Bill Wallis, 2024-05-09
	*/


	select version();

	/*
	* This is free and unencumbered software released into the public domain.
	*
	* For more information, please refer to <https://unlicense.org>
	*/

	//Regular text
	#define BLK "\e[0;30m"
	#define RED "\e[0;31m"
	#define GRN "\e[0;32m"